totally ordered set - German English Dictionary